From: Florian Müllner <fmuellner@gnome.org>
Date: Sun, 20 Aug 2023 19:38:37 +0000 (+0200)
Subject: panel: Switch workspaces when scrolling over activities
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~320^2^2~16
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=c7208df8b30e737ec0033313689fe36c7f0bab81;p=gnome-shell.git

panel: Switch workspaces when scrolling over activities

The activities button now shows workspace indicators instead
of a label. Adding the ability to switch workspaces without
entering the overview seems like a logical extension.

Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6928

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2933>
---

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 316a90f37..6fa493b69 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -460,7 +460,7 @@ class ActivitiesButton extends PanelMenu.Button {
                 Main.overview.toggle();
         }
 
-        return Clutter.EVENT_PROPAGATE;
+        return Main.wm.handleWorkspaceScroll(event);
     }
 
     vfunc_key_release_event(event) {